how to edit a hosts file in Linux Mint